Power and Bias of Subset Pooling Strategies Gordon V. Cormack and Thomas R. Lynam David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1, Canada

Source URL: plg.uwaterloo.ca

• Knowledge
• Statistics
• Statistical theory
• Psychometrics
• Natural language processing
• Critical thinking
• Statistical inference
• Measurement
• Sampling
• Information retrieval
• Text Retrieval Conference
• Bias

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Denotational semantics
• Logic in computer science
• Predicate
• Heap
• Linguistics

A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

Source URL: plg.uwaterloo.ca

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Lambda calculus
• Substitution
• Symbol
• Directed acyclic graph
• Unification

Spam Filter Evaluation with Imprecise Ground Truth Gordon V. Cormack Aleksander Kołcz Cheriton School of Computer Science

Source URL: plg.uwaterloo.ca

• Spam filtering
• Computing
• Spamming
• Cyberspace
• Technology
• Email
• Anti-spam techniques
• Bogofilter
• Email spam
• Information filtering system
• Text Retrieval Conference
• Conference on Email and Anti-Spam

A Practical Approach to Generalized Hierarchical Task Specification for Indirect Force Controlled Robots Ewald Lutscher and Gordon Cheng Institute for Cognitive Systems (www.ics.ei.tum.de) Technische Universit¨at M¨unc

Source URL: mediatum.ub.tum.de

DRAFTDepartment of Philosophy FALL 2010 COURSE SCHEDULE UNDERGRADUATE (W = Liberal Studies Area IV/Gordon Rule; x or y = multicultural course; M = Liberal Studies Area I [Mathematics])

Source URL: philosophy.fsu.edu

Institute for Biophysical DynamicsInterdisciplinary Research Seminars Gordon Center for Integrative Science W301/303 at noon (unless otherwise noted) Autumn, 2011 Tuesday, 27 September

Source URL: ibd.uchicago.edu

Automatic Segmentation and Recognition of Human Activities from Observation based on Semantic Reasoning Karinne Ramirez-Amaro1 , Michael Beetz2 and Gordon Cheng1 Abstract— Automatically segmenting and recognizing human

Source URL: mediatum.ub.tum.de

Reporting Bias and Knowledge Acquisition Jonathan Gordon Benjamin Van Durme Dept of Computer Science

Source URL: www.cs.jhu.edu

A concurrent real-time biologically-inspired visual object recognition system Andreas Holzbach1 and Gordon Cheng2 Abstract— In this paper, we present an biologically-motivated object recognition system for robots and v

Source URL: mediatum.ub.tum.de